1 link tagged with all of: jane street + compile time safety
Click any tag below to further narrow down your results
Links
Jane Street builds its trading systems in OCaml, relying on the type system to catch errors at compile time and avoid run-time crashes. They snapshot every successful build to train an in-house AI model, rewarding only code changes that compile and pass tests.
- Jane Street runs its trading systems almost entirely on OCaml, betting on compile-time type checking (e.g., mandatory Option handling) to prevent costly runtime bugs.
- They rejected off-the-shelf tools like Copilot and Claude in favor of an in-house AI model trained on their own workspace snapshots.
- Developer workspaces are snapshotted every 20 seconds, and reinforcement learning rewards only edits that compile and pass tests.
- This snapshot-trained system underpins infrastructure supporting roughly $40 billion in annual trading volume.